On the axiomatics of projective and affine geometry in terms of line intersection
نویسندگان
چکیده
By providing explicit definitions, we show that in both affine and projective geometry of dimension ≥ 3, considered as first-order theories axiomatized in terms of lines as the only variables, and the binary line-intersection predicate as primitive notion, non-intersection of two lines can be positively defined in terms of line-intersection. Mathematics Subject Classification (2000): 51A05, 51A15, 03C40, 03B30.
منابع مشابه
Differential-geometric Characterizations of Complete Intersections
We characterize complete intersections in terms of local differential geometry. Let X ⊂ CPn+a be a variety. We first localize the problem; we give a criterion for X to be a complete intersection that is testable at any smooth point of X. We rephrase the criterion in the language of projective differential geometry and derive a sufficient condition for X to be a complete intersection that is com...
متن کاملSweep Line Algorithm for Convex Hull Revisited
Convex hull of some given points is the intersection of all convex sets containing them. It is used as primary structure in many other problems in computational geometry and other areas like image processing, model identification, geographical data systems, and triangular computation of a set of points and so on. Computing the convex hull of a set of point is one of the most fundamental and imp...
متن کاملAffinization of Segre products of partial linear spaces
Hyperplanes and hyperplane complements in the Segre product of partial linear spaces are investigated. The parallelism of such a complement is characterized in terms of the point-line incidence. Assumptions, under which the automorphisms of the complement are the restrictions of the automorphisms of the ambient space, are given. An affine covering for the Segre product of Veblenian gamma spaces...
متن کاملAffine connections, midpoint formation, and point reflection
It is a striking fact that differential calculus exists not only in analysis (based on the real numbers R and limits therein), but also in algebraic geometry, where no limit processes are available. In algebraic geometry, one rather uses the idea of nilpotent elements in the “affine line” R; they act as infinitesimals. (Recall that an element x in a ring R is called nilpotent if xk = 0 for suit...
متن کاملAffine Connections, and Midpoint Formation
It is a striking fact that differential calculus exists not only in analysis (based on the real numbers R), but also in algebraic geometry, where no limit processes are available. In algebraic geometry, one rather uses the idea of nilpotent elements in the “affine line” R; they act as infinitesimals. (Recall that an element x in a ring R is called nilpotent if xk = 0 for suitable non-negative i...
متن کامل